(echo -n "internal_styles.c: mkstyle.sh " ; echo style/*.style ; /bin/echo -e '\t./mkstyle.sh > internal_styles.c || (rm -f internal_styles.c ; exit 1)' ) >> /tmp/dep
echo Edit Makefile and bring in /tmp/dep
-VERSIONU=1_2_5_beta10212004
-VERSIOND=1.2.5_beta10212004
+VERSIONU=1_2_5_beta11012004
+VERSIOND=1.2.5_beta11012004
#VERSIONU=1_2_4
#VERSIOND=1.2.4